Distributed Simulation of Parallel Executions

نویسندگان

  • Livio Ricciulli
  • Patrick Lincoln
  • José Meseguer
چکیده

We propose a new practical technique for the distributed execution-driven simulation of parallel computers. Our simulation methodology allows complete virtualization of the design at all levels and achieves good performance by preserving and exploiting the parallelism of the parallel program being simulated. With our technique it is possible to decouple the simulation of the execution of a parallel application from the estimation of the virtual execution time in which such execution is carried out. Our technique uses minimal overhead to maintain coherent distributed event causality relations by making it possible for the simulated executions to reject the intrinsic uncertainties of parallel applications being simulated. We include a detailed description of our methodology, explain how to apply our ideas to parallelize an existing execution-driven sequential simulator under quite general assumptions, discuss the trade-offs of our methodology, and give preliminary performance measurements of a distributed simulator that

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Process algebraic modeling of authentication protocols for analysis of parallel multi-session executions

Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...

متن کامل

Evaluation Of Three Approaches To Parallel Logic Simulation On A Distributed Memory Multiprocessor

Three approaches to parallel discrete event simulation have been applied to a logic simulator which incorporates most of today's state-of-the-art techniques in modelling digital circuit behaviour at the gate level. The code partitioning approach decomposes the simulation algorithm itself into a set of tasks which cooperate in a pipeline. Two parallel simulators using the data partitioning appro...

متن کامل

Efficient Distributed Queuing System Simulation

Queuing systems are an important building block for performance evaluation in various application areas, due to their powerful, yet simple nature. Although it is often possible to perform an analytical evaluation of a queuing model, simulation of queuing systems remains an important technique in the context of performance evaluation. In order to speed up queuing simulation executions, parallel ...

متن کامل

Using FPGAs as Control Support in MIMD Executions

In the wide eld of parallel architectures, machines involving fpgas on each node have appeared during the last years. Connecting these reconngurable components opens new research horizons. Expensive control tasks required by distributed applications may then be accelerated using application speciic hard-wired elements. A derivation from a standard algorithm for distributed simulation and its pa...

متن کامل

Partially ordered distributed computations on asynchronous point-to-point networks

Asynchronous executions of a distributed algorithm di er from each other due to the nondeterminism in the order in which the messages exchanged are handled. In many situations of interest, the asynchronous executions induced by restricting nondeterminism are more e cient, in an application-speci c sense, than the others. In this work, we de ne partially ordered executions of a distributed algor...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996